<html>
<head><meta charset="utf-8"><title>weekly meeting 2019-03-25 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html">weekly meeting 2019-03-25</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="161670281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670281">(Mar 25 2019 at 18:02)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> -- meeting :)</p>



<a name="161670286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670286">(Mar 25 2019 at 18:02)</a>:</h4>
<p>hi hi</p>



<a name="161670346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670346">(Mar 25 2019 at 18:03)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/2019.03.18-2019.04.29--AZqhzp6EUY7mDvJyaR3W9tb_Ag-5gix1dpUSHKirVcEww5iw" target="_blank" title="https://paper.dropbox.com/doc/2019.03.18-2019.04.29--AZqhzp6EUY7mDvJyaR3W9tb_Ag-5gix1dpUSHKirVcEww5iw">Current sprint document</a></p>



<a name="161670383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670383">(Mar 25 2019 at 18:04)</a>:</h4>
<p>I seem to have finished my task <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="161670435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670435">(Mar 25 2019 at 18:04)</a>:</h4>
<p>(we decided not to do it lol)</p>



<a name="161670457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670457">(Mar 25 2019 at 18:04)</a>:</h4>
<p>best way to finish a task :)</p>



<a name="161670503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670503">(Mar 25 2019 at 18:05)</a>:</h4>
<p>I don't know if <span class="user-mention" data-user-id="116010">@Aaron Turon</span> will show up today or not (haven't heard from him today)</p>



<a name="161670553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670553">(Mar 25 2019 at 18:05)</a>:</h4>
<p>Let's check in first with <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> re: associated type bounds -- last we spoke, you were prep'ing a PR, did you open it?</p>



<a name="161670561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670561">(Mar 25 2019 at 18:05)</a>:</h4>
<p>thanks</p>



<a name="161670565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670565">(Mar 25 2019 at 18:05)</a>:</h4>
<p>yeah</p>



<a name="161670617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670617">(Mar 25 2019 at 18:06)</a>:</h4>
<p>link?</p>



<a name="161670625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670625">(Mar 25 2019 at 18:06)</a>:</h4>
<p>I tagged and r?'ed <span class="user-mention" data-user-id="116010">@Aaron Turon</span> yesterday to review. :-)</p>



<a name="161670640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670640">(Mar 25 2019 at 18:06)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/57428" target="_blank" title="https://github.com/rust-lang/rust/pull/57428">https://github.com/rust-lang/rust/pull/57428</a></p>



<a name="161670668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670668">(Mar 25 2019 at 18:06)</a>:</h4>
<p>great</p>



<a name="161670726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670726">(Mar 25 2019 at 18:07)</a>:</h4>
<p>there are only two notable test failures:</p>



<a name="161670727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670727">(Mar 25 2019 at 18:07)</a>:</h4>
<p>And I know that you have been interested in the "RPIT Existential Lifetimes"</p>



<a name="161670739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670739">(Mar 25 2019 at 18:07)</a>:</h4>
<p>ah, carry on</p>



<a name="161670753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670753">(Mar 25 2019 at 18:07)</a>:</h4>
<p>yeah. did you see the PR I opened about that? (we'll get to it in a minunte though if that's okay)</p>



<a name="161670820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670820">(Mar 25 2019 at 18:08)</a>:</h4>
<p>1) nested-lifetime-bounds -- it seems that with ATB in place, that can't be detected so easily now. it's a diagnostics issue</p>



<a name="161670825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670825">(Mar 25 2019 at 18:08)</a>:</h4>
<p>I could do with advice on that</p>



<a name="161670863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670863">(Mar 25 2019 at 18:08)</a>:</h4>
<p>2) I might have accidentally broke scoping rules around defining uses for existential type -- see the <code>ui/existential_types/declared_but_not_defined_in_scope.rs</code> test</p>



<a name="161670892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670892">(Mar 25 2019 at 18:08)</a>:</h4>
<p>the other 2 failures just require blessing to fix :-)</p>



<a name="161670968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161670968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161670968">(Mar 25 2019 at 18:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> ^</p>



<a name="161671042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671042">(Mar 25 2019 at 18:10)</a>:</h4>
<p>OK. I guess we'll handle that stuff on the PR, this meeting is prob not time to dive in</p>



<a name="161671061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671061">(Mar 25 2019 at 18:10)</a>:</h4>
<p>no prob</p>



<a name="161671070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671070">(Mar 25 2019 at 18:10)</a>:</h4>
<p>I thought we want to stick to higher-level stuff here yes</p>



<a name="161671073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671073">(Mar 25 2019 at 18:10)</a>:</h4>
<p>So the other major topic was rustc-chalk integration</p>



<a name="161671089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671089">(Mar 25 2019 at 18:10)</a>:</h4>
<p>maybe we can discuss RPIT existential lifetimes briefly though?</p>



<a name="161671095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671095">(Mar 25 2019 at 18:10)</a>:</h4>
<p>if we have a sec</p>



<a name="161671098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671098">(Mar 25 2019 at 18:10)</a>:</h4>
<p>sorry</p>



<a name="161671104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671104">(Mar 25 2019 at 18:10)</a>:</h4>
<p>Not sure <span class="user-mention" data-user-id="116883">@tmandry</span> how y'all fared with the builtin bounds stuff?</p>



<a name="161671122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671122">(Mar 25 2019 at 18:10)</a>:</h4>
<p>do that if it's priority :-)</p>



<a name="161671165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671165">(Mar 25 2019 at 18:11)</a>:</h4>
<p>we decided how to split up the work, but I didn't get any farther than that on this yet</p>



<a name="161671176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671176">(Mar 25 2019 at 18:11)</a>:</h4>
<p>ok :)</p>



<a name="161671251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671251">(Mar 25 2019 at 18:12)</a>:</h4>
<p>so I started cataloging what the next steps are around rustc-chalk integration and dropping notes in <a href="https://paper.dropbox.com/doc/rustc-chalk-integration--AZ9BSWViWQiQunyPL9v282oUAg-QSp9zIk3MS4jzyRpEzWv6" target="_blank" title="https://paper.dropbox.com/doc/rustc-chalk-integration--AZ9BSWViWQiQunyPL9v282oUAg-QSp9zIk3MS4jzyRpEzWv6">this paper doc</a></p>



<a name="161671263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671263">(Mar 25 2019 at 18:12)</a>:</h4>
<p>it's not really complete yet though</p>



<a name="161671277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671277">(Mar 25 2019 at 18:12)</a>:</h4>
<p>I think the meta goal is to really dive head on towards the unknowns, probably</p>



<a name="161671284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671284">(Mar 25 2019 at 18:12)</a>:</h4>
<blockquote>
<p>Aaron Turon: i don't think these are trivial since each of these "built ins" involves some custom logic<br>
Aaron Turon: which we'll have to crib from the old trait system</p>
</blockquote>



<a name="161671318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671318">(Mar 25 2019 at 18:13)</a>:</h4>
<p>I haven't been able to look into it yet, though</p>



<a name="161671331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671331">(Mar 25 2019 at 18:13)</a>:</h4>
<p>and I think the biggest unknowns are two-fold:</p>
<ul>
<li>will the solver strategy scale up well</li>
<li>how to handle region constraints nicely</li>
</ul>



<a name="161671348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671348">(Mar 25 2019 at 18:13)</a>:</h4>
<p>the first one is tied up, to <em>some</em> extent, in builtin-bounds</p>



<a name="161671377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671377">(Mar 25 2019 at 18:13)</a>:</h4>
<p>well at leaset in that things like <code>?T: Sized</code> are good examples of challenging problems (as we discussed on the call)</p>



<a name="161671448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671448">(Mar 25 2019 at 18:14)</a>:</h4>
<blockquote>
<p>I haven't been able to look into it yet, though</p>
</blockquote>
<p>ok</p>



<a name="161671469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671469">(Mar 25 2019 at 18:14)</a>:</h4>
<p>I still think that making some progress there is a good first step before anything. I'm feeling a bit uncertain what I thnk is the <em>next</em> step</p>



<a name="161671479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671479">(Mar 25 2019 at 18:14)</a>:</h4>
<p>I'm going to be away (on vacation) next week</p>



<a name="161671485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671485">(Mar 25 2019 at 18:14)</a>:</h4>
<p>and this week I'm traveling a bit and busy</p>



<a name="161671493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671493">(Mar 25 2019 at 18:14)</a>:</h4>
<p>but ideally i'd like to have enough work lined up =)</p>



<a name="161671509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671509">(Mar 25 2019 at 18:14)</a>:</h4>
<p>one thing that might be a good thing to shoot for this week I thnk</p>



<a name="161671516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671516">(Mar 25 2019 at 18:15)</a>:</h4>
<p>(for <em>me</em>)</p>



<a name="161671550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671550">(Mar 25 2019 at 18:15)</a>:</h4>
<p>yeah... Rust Latin American conference, judging by GitHub notifications? :-)</p>



<a name="161671551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671551">(Mar 25 2019 at 18:15)</a>:</h4>
<p>is to try and schedule some time to dig into "the chalk-engine crate and how it works" -- i.e., the actual solver algorithm</p>



<a name="161671558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671558">(Mar 25 2019 at 18:15)</a>:</h4>
<p>have fun at that!</p>



<a name="161671578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671578">(Mar 25 2019 at 18:15)</a>:</h4>
<p>and spread the Gospel of Rust.</p>



<a name="161671644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671644">(Mar 25 2019 at 18:16)</a>:</h4>
<p>basically to try and talk out what is implemented today and (if we would have time, which I guess is unlikely) to then talk a bit about possible sol'ns</p>



<a name="161671674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671674">(Mar 25 2019 at 18:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> the region bounds integration in Chalk is tricky it sounds like... probably not something I should look into as a newbie with Chalk?</p>



<a name="161671677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671677">(Mar 25 2019 at 18:16)</a>:</h4>
<p>anyway I guess for me I will try to identify 1 or 2 actionable things <em>after</em> builtin bounds</p>



<a name="161671795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671795">(Mar 25 2019 at 18:17)</a>:</h4>
<blockquote>
<p>the region bounds integration in Chalk is tricky it sounds like... probably not something I should look into as a newbie with Chalk?</p>
</blockquote>
<p>I think the full sol'n probably not but there might be room to introduce some simpler stuff to start</p>



<a name="161671931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671931">(Mar 25 2019 at 18:18)</a>:</h4>
<p>OK, well, that's probably enough for this week. Main goals here then are to (a) pursue the builtin bounds a bit more and (b) carve out steps for next week :)</p>



<a name="161671973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161671973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161671973">(Mar 25 2019 at 18:19)</a>:</h4>
<p>hmm okay</p>



<a name="161672003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161672003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161672003">(Mar 25 2019 at 18:19)</a>:</h4>
<p>about RPIT existential lifetimes... here's my PR <a href="https://github.com/rust-lang/rust/pull/59402" target="_blank" title="https://github.com/rust-lang/rust/pull/59402">https://github.com/rust-lang/rust/pull/59402</a></p>



<a name="161672041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161672041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161672041">(Mar 25 2019 at 18:19)</a>:</h4>
<p>discussed this briefly with Matthew Jasper. there are evidently some problems. my last comment is perhaps most relevant</p>



<a name="161672241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161672241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161672241">(Mar 25 2019 at 18:21)</a>:</h4>
<p>ok, well, let's dive into that in a separate topic</p>



<a name="161672290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161672290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161672290">(Mar 25 2019 at 18:22)</a>:</h4>
<p>and close up this meeting for today?</p>



<a name="161672307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161672307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161672307">(Mar 25 2019 at 18:22)</a>:</h4>
<p>(I was just skimming PR, will answer in the RPIT Lifetime issues topic)</p>



<a name="161672314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-03-25/near/161672314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-03-25.html#161672314">(Mar 25 2019 at 18:22)</a>:</h4>
<p>Thanks all <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>